semantics-oriented language

面向语义的语言[SEMANOL]